home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / eiffel / smalleif.97 / se.t / SmallEiffel / bin_c / compile.h < prev    next >
Encoding:
C/C++ Source or Header  |  1996-05-02  |  6.4 KB  |  238 lines
  1. /* ANSI C code generated by SmallEiffel. */
  2. /*
  3. -- SmallEiffel  -- Release (- 0.97)    --      FRANCE
  4. -- Copyright (C), 1994 - Dominique COLNET and Suzanne COLLIN 
  5. -- University Henri Poincare' - Nancy 1 - email colnet@loria.fr 
  6. -- CRIN (Centre de Recherche en Informatique de Nancy)
  7. -- FRANCE 
  8. */
  9. #include <stdio.h>
  10. #include <stdlib.h>
  11. #include <signal.h>
  12. #include <stddef.h>
  13. typedef struct sT0 T0;
  14. struct sT0{int id;};
  15. typedef struct sTstring Tstring;
  16. struct sTstring{int id;int _capacity;int _count;char *_storage;};
  17. typedef struct sTarray Tarray;
  18. struct sTarray{int id;int _capacity;int _lower;
  19. int _upper;T0 **_storage;};
  20. T0 *new(int id);
  21. #define Tgeneral T1
  22. #define generalId 1
  23. #define integerId 2
  24. #define characterId 3
  25. #define booleanId 6
  26. #define realId 4
  27. #define doubleId 5
  28. #define stringId 7
  29. #define pointerId 8
  30. #define expandedId 10
  31. #define referenceId 11
  32. #define linkId 12
  33. #define featureTagId 13
  34. #define nameId 14
  35. #define columnId 15
  36. #define lineId 16
  37. #define pathId 17
  38. #define doingWhatId 18
  39. #define doingInvariantId 19
  40. #define AF_REQ_1 
  41. #define AF_REQ_0 
  42. #define AF_ENS_1 
  43. #define AF_ENS_0 
  44. #define AF_INV_1 
  45. #define AF_INV_0 
  46. #define AF_LIV_1 
  47. #define AF_LIV_0 
  48. #define AF_CIV_1 
  49. #define AF_CIV_0 
  50. #define AF_1 AF_CIV_1 AF_LIV_1 AF_INV_1 AF_ENS_1 AF_REQ_1
  51. #define AF_0 AF_CIV_0 AF_LIV_0 AF_INV_0 AF_ENS_0 AF_REQ_0
  52. typedef void * T8;
  53. typedef struct sT33 T33;
  54. typedef struct sT39 T39;
  55. typedef struct sTstring T7;
  56. typedef int T6;
  57. typedef int T2;
  58. typedef struct sT26 T26;
  59. typedef struct sT38 T38;
  60. typedef struct sTarray T40;
  61. typedef char T3;
  62. struct sT33{int id;void * _output_stream;};
  63. struct sT39{int id;T0* _mode;T0* _path;void * _input_stream;char _last_character_memory;};
  64. struct sT26{int id;T0* _root;int _c_code;};
  65. struct sT38{int id;void * _output_stream;};
  66. void rT33die_with_code(T33 *C,int a1);
  67. void rT33put_string(T33 *C,T0* a1);
  68. extern T0*oRBC1std_error;
  69. void rT33crash(T33 *C);
  70. void rT33copy(T33 *C,T0 * a1);
  71. void rT33put_character(T33 *C,char a1);
  72. void rT33make(T33 *C);
  73. int rT39end_of_input(T39 *C);
  74. int rT39is_connected(T39 *C);
  75. void rT39disconnect(T39 *C);
  76. extern T0*oRBC39last_string;
  77. char rT39last_character(T39 *C);
  78. void rT39connect_to(T39 *C,T0* a1);
  79. void rT39skip_separators(T39 *C);
  80. void * rT39fopen(T39 *C,T0* a1,T0* a2);
  81. void rT39copy(T39 *C,T0 * a1);
  82. void rT39read_line_in(T39 *C,T0* a1);
  83. void rT39read_line(T39 *C);
  84. void rT39read_word(T39 *C);
  85. void rT39read_character(T39 *C);
  86. char rT7_ix64(T7 *C,int a1);
  87. void rT7extend(T7 *C,char a1);
  88. void rT7to_upper(T7 *C);
  89. void rT7remove_suffix(T7 *C,T0* a1);
  90. void rT7remove_between(T7 *C,int a1,int a2);
  91. void rT7remove_first(T7 *C,int a1);
  92. void rT7remove_last(T7 *C,int a1);
  93. int rT7has_suffix(T7 *C,T0* a1);
  94. char rT7item(T7 *C,int a1);
  95. int rT7is_equal(T7 *C,T0* a1);
  96. void rT7append(T7 *C,T0* a1);
  97. char rT7last(T7 *C);
  98. void rT7put(T7 *C,char a1,int a2);
  99. void rT7swap(T7 *C,int a1,int a2);
  100. void rT7copy(T7 *C,T0* a1);
  101. void rT7to_lower(T7 *C);
  102. void rT7make(T7 *C,int a1);
  103. int rT2min(T2 C,int a1);
  104. int rT2max(T2 C,int a1);
  105. char rT2digit(T2 C);
  106. void rT2append_in(T2 C,T0* a1);
  107. T0* rT26get_environment_variable(T26 *C,T0* a1);
  108. extern int ofBC27x_suffix;
  109. extern T0*oRBC27x_suffix;
  110. T0* rT26x_suffix(T26 *C);
  111. void rT26automat(T26 *C);
  112. T0* rT26to_bcn(T26 *C,T0* a1);
  113. extern int ofBC27directory_separator;
  114. extern T3 oRBC27directory_separator;
  115. char rT26directory_separator(T26 *C);
  116. void rT26die_with_code(T26 *C,int a1);
  117. void rT26remove(T26 *C);
  118. void rT26remove_file(T26 *C,T0* a1);
  119. extern T0*oRBC27hlp_file_name;
  120. void rT26add_directory(T26 *C,T0* a1,T0* a2);
  121. void rT26print_hlp(T26 *C,T0* a1);
  122. void rT26open_read(T26 *C,T0 * a1,T0* a2);
  123. T0* rT26clone(T26 *C,T0* a1);
  124. extern int ofBC27tmp_file_read;
  125. extern T0*oRBC27tmp_file_read;
  126. T0 * rT26tmp_file_read(/*C*/void);
  127. void rT26system(T26 *C,T0* a1);
  128. extern T0*oRBC27system_list;
  129. extern int ofBC27system_name;
  130. extern T0*oRBC27system_name;
  131. T0* rT26system_name(T26 *C);
  132. extern T0*oRBC1std_output;
  133. extern int ofBC27small_eiffel_directory;
  134. extern T0*oRBC27small_eiffel_directory;
  135. T0* rT26small_eiffel_directory(T26 *C);
  136. void rT26copy(T26 *C,T0 * a1);
  137. extern int ofBC26make_file;
  138. extern T0*oRBC26make_file;
  139. T0 * rT26make_file(/*C*/void);
  140. extern int ofBC27make_suffix;
  141. extern T0*oRBC27make_suffix;
  142. T0* rT26make_suffix(T26 *C);
  143. void rT26echo_system(T26 *C);
  144. void rT26make(T26 *C);
  145. int rT26file_exists(T26 *C,T0* a1);
  146. void rT38die_with_code(T38 *C,int a1);
  147. void rT38put_string(T38 *C,T0* a1);
  148. void rT38crash(T38 *C);
  149. void rT38append_file(T38 *C,T0* a1);
  150. extern int ofBC34tmp_file_read;
  151. extern T0*oRBC34tmp_file_read;
  152. T0 * rT38tmp_file_read(/*C*/void);
  153. void rT38copy(T38 *C,T0 * a1);
  154. void rT38put_character(T38 *C,char a1);
  155. void rT38make(T38 *C);
  156. void rT40clear_all(T40 *C);
  157. void rT40set_all_with(T40 *C,T0* a1);
  158. void rT40resize(T40 *C,int a1,int a2);
  159. T0* rT40item(T40 *C,int a1);
  160. int rT40equal_like(/*C*/T0* a1,T0* a2);
  161. int rT40index_of(T40 *C,T0* a1);
  162. void rT40put(T40 *C,T0* a1,int a2);
  163. void rT40copy(T40 *C,T0* a1);
  164. void rT40make(T40 *C,int a1,int a2);
  165. char rT3to_upper(T3 C);
  166. int rT3is_digit(T3 C);
  167. int rT3is_letter(T3 C);
  168. int rT3is_separator(T3 C);
  169. char rT3to_lower(T3 C);
  170. extern int argument_count;
  171. extern T0 **argument;
  172. #include <string.h>
  173. char *s2e(Tstring *s);
  174. Tstring *e2s(char *e);
  175. #include <stdarg.h>
  176. T0 *ma(int aid,int eid,int argc,...);
  177.  
  178. extern Tstring *ms1;
  179. extern Tstring *ms5;
  180. extern Tstring *ms14;
  181. extern Tstring *ms17;
  182. extern Tstring *ms18;
  183. extern Tstring *ms20;
  184. extern Tstring *ms21;
  185. extern Tstring *ms22;
  186. extern Tstring *ms24;
  187. extern Tstring *ms25;
  188. extern Tstring *ms26;
  189. extern Tstring *ms28;
  190. extern Tstring *ms29;
  191. extern Tstring *ms30;
  192. extern Tstring *ms31;
  193. extern Tstring *ms32;
  194. extern Tstring *ms33;
  195. extern Tstring *ms34;
  196. extern Tstring *ms35;
  197. extern Tstring *ms36;
  198. extern Tstring *ms37;
  199. extern Tstring *ms38;
  200. extern Tstring *ms39;
  201. extern Tstring *ms40;
  202. extern Tstring *ms41;
  203. extern Tstring *ms42;
  204. extern Tstring *ms43;
  205. extern Tstring *ms45;
  206. extern Tstring *ms46;
  207. extern Tstring *ms47;
  208. extern Tstring *ms48;
  209. extern Tstring *ms49;
  210. extern Tstring *ms50;
  211. extern Tstring *ms51;
  212. extern Tstring *ms52;
  213. extern Tstring *ms53;
  214. extern Tstring *ms54;
  215. extern Tstring *ms55;
  216. extern Tstring *ms56;
  217. extern Tstring *ms57;
  218. extern Tstring *ms58;
  219. extern Tstring *ms59;
  220. extern Tstring *ms60;
  221. extern Tstring *ms63;
  222. extern Tstring *ms64;
  223. extern Tstring *ms65;
  224. extern Tstring *ms66;
  225. extern Tstring *ms67;
  226. extern Tstring *ms68;
  227. extern Tstring *ms69;
  228. extern Tstring *ms70;
  229. extern Tstring *ms71;
  230. void rsp(void);
  231. void sigrsp(int sig);
  232. void  XrT28copy(void *C,T0* a1);
  233. extern size_t s[];
  234. extern Tstring * gt[];
  235. extern Tstring * g[];
  236. extern char * p[];
  237. void initialize(void);
  238.